2: (..e
) where
p implements T
e
